<!DOCTYPE html>
            
<HTML>
<HEAD>
<meta name="booktitle" content="Developing Applications With Objective Caml" >
 <meta charset="ISO-8859-1"><meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0">
<META name="GENERATOR" content="hevea 1.05-7 of 2000-02-24">
<META NAME="Author" CONTENT="Christian.Queinnec@lip6.fr">
<LINK rel=stylesheet type="text/css" href="videoc-ocda.css">
<script language="JavaScript" src="videoc.js"><!--
//--></script>
<TITLE>
 Summary
</TITLE>
</HEAD>
<BODY class="regularBody">
<A HREF="book-ora020.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="book-ora022.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2> Summary</H2>This chapter has demonstrated the main features of
functional programming and parametric polymorphism, which are two essential
features of the Objective CAML language. The syntax of the expressions in
the functional core of the language as well as those of the types which have
been described allowed us to develop our first programs. Moreover, the
profound difference between the type of a function and its domain of
definition was underlined. Introducing the exception mechanism
allowed us to resolve this problem and already introduces a new programming
style in which one specifies how computations should unfold.<BR>
<BR>
<HR>
<A HREF="book-ora020.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Contents"></A>
<A HREF="book-ora022.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
